Software transactional memory

Results: 226



#Item
191Information / Concurrency control / ACID / Software transactional memory / Online transaction processing / Two-phase commit protocol / Transaction Processing Performance Council / Transaction processing system / Database / Transaction processing / Data management / Data

OLTP Through the Looking Glass, and What We Found There Stavros Harizopoulos Daniel J. Abadi HP Labs

Add to Reading List

Source URL: nms.csail.mit.edu

Language: English - Date: 2008-03-26 17:11:08
192Computer programming / Software transactional memory / Lock / Thread / Non-blocking algorithm / Extensible Storage Engine / Commitment ordering / Parallel computing / Concurrent data structure / Computing / Concurrency control / Software engineering

CONVERSION: Multi-Version Concurrency Control for Main Memory Segments Timothy Merrifield Jakob Eriksson

Add to Reading List

Source URL: www.cs.uic.edu

Language: English - Date: 2013-03-08 14:22:06
193Symbol / Model theory / Heap / Computing / Concurrent Haskell / Software engineering / Software transactional memory

An Implementation and Semantics for Transactional Memory Introspection in Haskell Arnar Birgisson ´ Ulfar

Add to Reading List

Source URL: www.hvergi.net

Language: English - Date: 2013-10-25 16:11:19
194Schedule / Software transactional memory / Data / Information / Computing / Transaction processing / Concurrency control / Data management

Write-observation and Read-preservation TM Correctness Invariants Mohsen Lesani Jens Palsberg

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2013-07-24 03:26:31
195Computing / Data / Software transactional memory / Algorithm / Model theory / Linearizability / Serializability / Opacity / Concurrency control / Transaction processing / Data management

Putting Opacity in its Place Mohsen Lesani Computer Science Department University of California, Los Angeles, CA ABSTRACT

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2012-08-15 23:50:13
196Theoretical computer science / Computer science / Finite-state machine / Cellular automata / Algorithm / Learning automata / Büchi automaton / Automata theory / Models of computation / Applied mathematics

A Framework for Formally Verifying Software Transactional Memory Algorithms Mohsen Lesani1 , Victor Luchangco2, and Mark Moir2 1 University of California, Los Angeles, USA

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2012-07-13 22:02:23
197Data / Information / Software transactional memory / Serializability / Linearizability / Schedule / Transactional memory / Database transaction / Extensible Storage Engine / Transaction processing / Concurrency control / Data management

Specifying Transactional Memories with Nontransactional Operations Mohsen Lesani Victor Luchangco

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2013-10-26 02:05:50
198Data management / Data / Concurrent computing / Databases / Software transactional memory / Actor model / Transactional memory / Parallel computing / Lock / Transaction processing / Concurrency control / Computing

PDF Document

Add to Reading List

Source URL: www.packtpub.com

Language: English
199Threads / Scheduling / Concurrent Haskell / Asynchronous I/O / Monad / Continuation / Software transactional memory / Non-blocking algorithm / Native POSIX Thread Library / Computing / Concurrent computing / Computer programming

Combining Events And Threads For Scalable Network Services Implementation And Evaluation Of Monadic, Application-level Concurrency Primitives Peng Li Steve Zdancewic

Add to Reading List

Source URL: fdmanana.files.wordpress.com

Language: English - Date: 2010-06-08 16:04:04
200Data management / Data / Software transactional memory / Transactional memory / Model checking / Linearizability / Parallel computing / Promela / Lock / Concurrency control / Transaction processing / Computing

Model checking transactional memory John O’Leary Intel Bratin Saha Intel

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2011-09-30 00:00:00
UPDATE